set function proof